#include "SimpleJobChooser.cuh"
#include "../FileManager/FormulaData.cuh"
#include "../FileManager/Lex_byacc/cnf_reader.cuh"

int main_test_jobs()
{
	char* file = "/home/jaime/GPUSATSolver/experiments/subsetsum_random_4_5_without_unary.cnf";

	FormulaData data(200, true);

	read_cnf(file, data);

	vector<Var> dead_vars;

	dead_vars.push_back(4);
	dead_vars.push_back(6);

	//SimpleJobChooser(vector <Clause> * formula, int number_of_variables,
		//		vector<Var> * dead_variables);
	vector<Clause> * formula = data.get_formula_host();

	SimpleJobChooser sjc(formula, data.get_number_of_variables(),
			&(dead_vars));
	JobChooser * jc = &sjc;

	jc->evaluate();

	int jobs = jc->get_number_of_jobs();

	JobsQueue jq(jobs);

	sjc.getJobs(jq);

	jq.print_jobs();

}
